Override and update

نویسندگان

چکیده

Override and update are natural constructions for combining partial functions, which arise in various program specification contexts. We use an unexpected connection with combinatorial geometry to provide a complete finite system of equational axioms the first order theory override on resolving main unsolved problem area.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Gender, threat/control-override delusions and violence.

This study brings together the threat/control-override perspective and the literature on gender and stress coping to argue that gender moderates the association between threat delusions and violence. We suggest that men are more likely than women to respond to stressors such as threat delusions with violence. We test these ideas using data from the MacArthur Violence Risk Assessment Study, a mu...

متن کامل

Towards an Override in Topoi

Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension (t), restriction (/), removal (/ −) and override (†). Can these operations be given a categorial semantics? Doing so will show the ‘nature’ of the operations. The operation of override is found to depend on the ‘shape’ on X, the poset PX. The opera...

متن کامل

Can we override clopidogrel resistance?

Clopidogrel, a thienopyridine antiplatelet agent, has been used alone or in association with aspirin to prevent vascular complications in atherothrombotic patients. It is also, in combination with aspirin, the key treatment to prevent stent thrombosis in patients who have undergone percutaneous coronary intervention. It is estimated that 40 million patients worldwide receive clopidogrel. Recent...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Pure and Applied Algebra

سال: 2021

ISSN: ['1873-1376', '0022-4049']

DOI: https://doi.org/10.1016/j.jpaa.2020.106532